From: Adel Gadllah <adel.gadllah@gmail.com>
Date: Thu, 16 Dec 2010 19:20:07 +0000 (+0100)
Subject: Remove unused workspace._visible property
X-Git-Tag: archive/raspbian/50.5-1+rpi1~1^2~1013^2^2~9389
X-Git-Url: https://dgit.raspbian.org/%22http://www.example.com/cgi/%22/%22http:/www.example.com/cgi/%22?a=commitdiff_plain;h=e41b0bc16d297f3ad06f0cf5cf44bc2b8c2efc08;p=gnome-shell.git

Remove unused workspace._visible property
---

diff --git a/js/ui/workspace.js b/js/ui/workspace.js
index b7837e853..0f53380af 100644
--- a/js/ui/workspace.js
+++ b/js/ui/workspace.js
@@ -566,8 +566,6 @@ Workspace.prototype = {
                                                             Lang.bind(this, this._windowRemoved));
         this._repositionWindowsId = 0;
 
-        this._visible = false;
-
         this.leavingOverview = false;
     },
 
@@ -1206,8 +1204,6 @@ Workspace.prototype = {
             this.positionWindows(WindowPositionFlags.ANIMATE | WindowPositionFlags.ZOOM);
         else
             this.positionWindows(WindowPositionFlags.ZOOM);
-
-        this._visible = true;
     },
 
     // Animates the return from Overview mode
@@ -1253,7 +1249,6 @@ Workspace.prototype = {
             }
         }
 
-        this._visible = false;
     },
 
     destroy : function() {